1. Reductive logic and proof-search : proof theory, semantics, and control
پدیدآورنده : Pym, David J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P965R4
2. Reductive logic and proof-search: proof theory, semantics, and control
پدیدآورنده : Pym, David J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P87
2004
3. The Semantics and Proof Theory of the Logic of Bunched Implications
پدیدآورنده : by David J. Pym.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic.,Philosophy (General).
